Configuring a multi-course lab for system-level projects
نویسندگان
چکیده
منابع مشابه
A Language for Configuring Multi-level Specifications
This paper shows how systems can be built from their component parts with specified sharing. Its principle contribution is a modular language for configuring systems. A configuration is a description in the new language of how a system is constructed hierarchically from specifications of its component parts. Category theory has been used to represent the composition of specifications that share...
متن کاملA Multi-objective Approach to Configuring Embedded System Architectures
Portable embedded systems are being driven by consumer demands to be thermally efficient, perform faster, and have longer battery life. To design such a system, various hardware units (e.g., level one (L1) and level two (L2) caches, functional units, registers) are selected based on a set of specifications for a particular application. Currently, chip architects are using software tools to manu...
متن کاملPotential Course Projects Course Projects 2. Model Checking Using Interpolation *
Course projects may be theoretical or experimental. Ideally, in keeping with the nature of this field, projects will develop or apply theoretical ideas to solve practically relevant problems. We welcome and encourage suggestions from students for projects. Projects can be broadly classified as being concerned with verification problems or the application of verification tools to solve problems ...
متن کاملSystem-Level Issues for a Multi-Rate Video VOD System
This document describes system-level issues for incorporation of multi-rate video into a videoon-demand system. The issues are broadly separated into two classes: rate negotiation, involving selection of a rate at which the requested video will be provided, and rate delivery, involving delivery of the coded stream to the user. Requirements of the server, the network, and the set-top box are dev...
متن کاملMulti-Level Error Handling for Tree Based Dialogue Course Management
For spoken dialogue systems, errors can occur on different levels of the system’s architecture. One of the principal causes for errors during a dialogue session are erroneous recognition results which often lead to incorrect semantic interpretations. Even if the speech input signal has been correctly recognized, a natural language understanding component can produce errorprone sentence meanings...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGCSE Bulletin
سال: 2005
ISSN: 0097-8418
DOI: 10.1145/1047124.1047509